logic and proofs discrete mathematics